он занимается математической логикой

См. также в других словарях:

• Шелах, Сахарон — Сахарон Шелах ивр. שהרן שלח‎ …   Википедия

• Теория моделей — Теория моделей  раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория …   Википедия

• Моделей теория — Теория моделей  это раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория… …   Википедия

• Философия — Скульптура «Мыслитель» (фр. Le Penseur) Огюста Родена, которая часто используется в качестве символа философии …   Википедия

• НАУКА — особый вид познавательной деятельности, направленный на выработку объективных, системно организованных и обоснованных знаний о мире. Взаимодействует с др. видами познавательной деятельности: обыденным, художественным, религиозным, мифологическим …   Философская энциклопедия

• ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия

• МЫШЛЕНИЕ — направленный процесс переработки информации в когнитивной системе живых существ. М. реализуется в актах манипулирования (оперирования) внутренними ментальными репрезентациями, подчиняющимися определенной стратегии и приводящими к возникновению… …   Философская энциклопедия

• Языкознание — (языковедение, лингвистика)  наука о естественном человеческом языке вообще и о всех языках мира как индивидуальных его представителях. Место языкознания среди других наук. Языкознание и социальные науки. Поскольку язык является важнейшим… …   Лингвистический энциклопедический словарь

• мышление —         МЫШЛЕНИЕ процесс решения проблем, выражающийся в переходе от условий, задающих проблему, к получению результата. М. предполагает активную конструктивную деятельность по переструктурированию исходных данных, их расчленение, синтезирование… …   Энциклопедия эпистемологии и философии науки

• Фибоначчи — (Fibonacci) Фибоначчи первый крупный математик средневековой Европы Десятичная система счисления, арабские цифры, числа, последовательность, уровни, ряд, линии и спираль Фибоначчи Содержание >>>>>>>>> …   Энциклопедия инвестора

• КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… …   История Философии: Энциклопедия